Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
14

Analysis and Design of Regular Structures for Robust Dynamic Fault Testability

Рік:
1993
Мова:
english
Файл:
PDF, 3.43 MB
english, 1993
18

An automata-theoretic approach to behavioral equivalence

Рік:
1991
Мова:
english
Файл:
PDF, 1.21 MB
english, 1991
19

Boolean satisfiability and equivalence checking using general Binary Decision Diagrams

Рік:
1992
Мова:
english
Файл:
PDF, 905 KB
english, 1992
20

Path-delay-fault testability properties of multiplexor-based networks

Рік:
1993
Мова:
english
Файл:
PDF, 1.46 MB
english, 1993
21

AEGIS: A single-chip secure processor

Рік:
2005
Мова:
english
Файл:
PDF, 365 KB
english, 2005
23

Redundancies and don't cares in sequential logic synthesis

Рік:
1990
Мова:
english
Файл:
PDF, 1.03 MB
english, 1990
24

Guest editorial

Рік:
1993
Мова:
english
Файл:
PDF, 72 KB
english, 1993
25

A synthesis-based test generation and compaction algorithm for multifaults

Рік:
1993
Мова:
english
Файл:
PDF, 1.34 MB
english, 1993
26

Techniques for power estimation and optimization at the logic level: A survey

Рік:
1996
Мова:
english
Файл:
PDF, 1.44 MB
english, 1996
27

Gate-delay-fault testability properties of multiplexor-based networks

Рік:
1993
Мова:
english
Файл:
PDF, 1.10 MB
english, 1993
28

Verification of asynchronous interface circuits with bounded wire delays

Рік:
1994
Мова:
english
Файл:
PDF, 1.86 MB
english, 1994
29

Power Estimation Using Probability Polynomials

Рік:
2004
Мова:
english
Файл:
PDF, 320 KB
english, 2004
30

Speeding up Exponentiation using an Untrusted Computational Resource

Рік:
2006
Мова:
english
Файл:
PDF, 199 KB
english, 2006
31

Code Optimization Techniques in Embedded DSP Microprocessors

Рік:
1998
Мова:
english
Файл:
PDF, 278 KB
english, 1998
32

Analysis and Evaluation of Address Arithmetic Capabilities in Custom DSP Architectures

Рік:
1999
Мова:
english
Файл:
PDF, 97 KB
english, 1999
34

A low power, low bandwidth protocol for remote wireless terminals

Рік:
1998
Мова:
english
Файл:
PDF, 442 KB
english, 1998
35

Learning biophysically-motivated parameters for alpha helix prediction

Рік:
2007
Мова:
english
Файл:
PDF, 353 KB
english, 2007
36

Thread Migration Prediction for Distributed Shared Caches

Рік:
2012
Мова:
english
Файл:
PDF, 194 KB
english, 2012
38

Optimal and Heuristic Application-Aware Oblivious Routing

Рік:
2013
Мова:
english
Файл:
PDF, 2.31 MB
english, 2013
40

Sequential Logic Testing and Verification || Test Generation Using RTL Descriptions

Рік:
1992
Мова:
english
Файл:
PDF, 3.38 MB
english, 1992
44

Secure program execution via dynamic information flow tracking

Рік:
2004
Мова:
english
Файл:
PDF, 257 KB
english, 2004
45

Application-aware deadlock-free oblivious routing

Рік:
2009
Мова:
english
Файл:
PDF, 614 KB
english, 2009
49

Physical Unclonable Functions and Applications: A Tutorial

Рік:
2014
Мова:
english
Файл:
PDF, 675 KB
english, 2014